# stripped-down violated-cover detection file
# parameters etc will be defined in the global .run file

minimize violation1: sum {i in N} (1-y[i])*z[i];

subject to is_a_cover1:
sum{i in N} inputdata[i,'Weight']*z[i]>= MaxCapacity + 1; #assumes integer data

